Software verification - PDFSEARCH.IO - Document Search Engine

Software verification
Results: 1531

#	Item
291	Busitech QW 5.0 versionAugust 23, 2007 Add to Reading List Source URL: www.qwsoftware.com Language: English - Date: 2009-07-31 13:51:32 Internet Explorer Windows Script Host Windows Registry Dynamic-link library Visual Basic Software testing Verification and validation Evaluation Assurance Level Computing Software System software
292	A User’s Guide to Proving Programs Correct with the Sunrise Verification System version 7.3 Peter Vincent Homeier Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2005-02-11 11:40:50 Formal methods Logic in computer science Archive formats Automated theorem proving Gzip Formal verification HOL Tar Theorem Proving in Higher-Order Logics Theoretical computer science Software Applied mathematics
293	Horn Clause Solvers for Program Verification Nikolaj Bjørner, Arie Gurfinkel, Ken McMillan and Andrey Rybalchenko Microsoft Research, Software Engineering Institutute Abstract. Several recent symbolic model checking too Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2015-04-11 16:07:03 Logic in computer science Formal methods Mathematical logic Predicate logic Rules of inference Resolution Horn clause Predicate transformer semantics Constraint logic programming Theoretical computer science Mathematics Logic
294	Component-based Design and Verification in X-MAN Nannan He, Daniel Kroening, Thomas Wahl Oxford University Kung-Kiu Lau, Faris Taweel, Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2011-12-09 13:28:09 Applied mathematics Structure Software architecture Formal verification System Modularity Software engineering Object-oriented programming Component-based software engineering
295	Busitech QW 5.0 versionSeptember 10, 2004 Add to Reading List Source URL: www.qwsoftware.com Language: English - Date: 2009-07-31 13:59:35 Software Computer programming Clinical research Quality Validation Software testing Dynamic-link library Verification and validation Visual Basic Computing Pharmaceutical industry Validity
296	Goanna — A Static Model Checker Ansgar Fehnker1 , Ralf Huuck1 , Patrick Jayet2? , Michel Lussenburg2∗ , and Felix Rauch1 1 2 Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-07-26 05:56:22 Theoretical computer science Formal methods Applied mathematics Program analysis Model checking Formal verification Static program analysis Abstract interpretation Red Lizard Software Model checkers Software NuSMV
297	Development of determination and verification manual UNFCCC technical workshop on joint implementation Vlad Trusca Kiev, Ukraine Add to Reading List Source URL: ji.unfccc.int Language: English - Date: 2011-04-05 07:56:25 Environment Joint Information Systems Committee Joint Implementation Software development process Science Academia Clean Development Mechanism Carbon finance Climate change policy United Nations Framework Convention on Climate Change
298	Why formal verification remains on the fringes of commercial development Arvind Computer Science & Artificial Intelligence Laboratory Massachusetts Institute of Technology Add to Reading List Source URL: www.fm2008.abo.fi Language: English - Date: 2008-06-04 08:51:50 Functional languages Theoretical computer science Technology Bluespec Inc. Arvind Atom Lennart Augustsson Formal methods James Hoe Computing Year of birth missing Software engineering
299	Busitech QW 5.0 versionOctober 13, 2011 Add to Reading List Source URL: www.qwsoftware.com Language: English - Date: 2011-10-13 12:01:57 Verification and validation Software testing Windows Script Host Validation System software Software Science Pharmaceutical industry Validity Windows Registry
300	Busitech QW 5.0 versionMay 9, 2014 Add to Reading List Source URL: www.qwsoftware.com Language: English - Date: 2014-05-09 10:01:55 Verification and validation Validation Windows Registry Science Philosophy of science Evaluation Pharmaceutical industry Validity Software testing

UPDATE